A Petri net based modeling and verification technique for real-time embedded systems
- Författare
- Linköpings universitet Luis Alejandro Cortés
- (Luis Alejandro Cortés., Licentiatavhandling Linköping : Linköpings universitet, 2001)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköpings universitet | 2001 | Sverige, Linköping | 115 sidor. ill. |